$\forall$$g$:GrpSig, $s$:($\mid$$g$$\mid\rightarrow\mathbb{P}$). norm\_subset\_p($g$;$s$) $\in$ $\mathbb{P}$